lexer grammar InternalIota;
@header {
package org.eclipse.iota.xtext.ui.contentassist.antlr.internal;

// Hack: Use our own Lexer superclass by means of import. 
// Currently there is no other way to specify the superclass for the lexer.
import org.eclipse.xtext.ui.editor.contentassist.antlr.internal.Lexer;
}

T13 : '=' ;
T14 : '!=' ;
T15 : '<' ;
T16 : '>' ;
T17 : ';' ;
T18 : 'property' ;
T19 : '(' ;
T20 : ')' ;
T21 : ',' ;
T22 : 'sequent' ;
T23 : '=>' ;
T24 : '|' ;
T25 : 'proof' ;
T26 : '#' ;
T27 : 'exists' ;
T28 : ':' ;
T29 : '&' ;
T30 : '[' ;
T31 : '+' ;
T32 : '*' ;
T33 : '/' ;
T34 : '^' ;
T35 : '-' ;
T36 : ']' ;

// $ANTLR src "../org.eclipse.iota.xtext.ui/src-gen/org/eclipse/iota/xtext/ui/contentassist/antlr/internal/InternalIota.g" 4423
RULE_BIG_INT : ('0'..'9')+;

// $ANTLR src "../org.eclipse.iota.xtext.ui/src-gen/org/eclipse/iota/xtext/ui/contentassist/antlr/internal/InternalIota.g" 4425
RULE_BOOL : ('true'|'false');

// $ANTLR src "../org.eclipse.iota.xtext.ui/src-gen/org/eclipse/iota/xtext/ui/contentassist/antlr/internal/InternalIota.g" 4427
RULE_ID : ('a'..'z'|'A'..'Z'|'_') ('a'..'z'|'A'..'Z'|'_'|'0'..'9')*;

// $ANTLR src "../org.eclipse.iota.xtext.ui/src-gen/org/eclipse/iota/xtext/ui/contentassist/antlr/internal/InternalIota.g" 4429
RULE_INT : ('0'..'9')+;

// $ANTLR src "../org.eclipse.iota.xtext.ui/src-gen/org/eclipse/iota/xtext/ui/contentassist/antlr/internal/InternalIota.g" 4431
RULE_STRING : ('"' ('\\' ('b'|'t'|'n'|'f'|'r'|'"'|'\''|'\\')|~(('\\'|'"')))* '"'|'\'' ('\\' ('b'|'t'|'n'|'f'|'r'|'"'|'\''|'\\')|~(('\\'|'\'')))* '\'');

// $ANTLR src "../org.eclipse.iota.xtext.ui/src-gen/org/eclipse/iota/xtext/ui/contentassist/antlr/internal/InternalIota.g" 4433
RULE_ML_COMMENT : '/*' ( options {greedy=false;} : . )*'*/';

// $ANTLR src "../org.eclipse.iota.xtext.ui/src-gen/org/eclipse/iota/xtext/ui/contentassist/antlr/internal/InternalIota.g" 4435
RULE_SL_COMMENT : '//' ~(('\n'|'\r'))* ('\r'? '\n')?;

// $ANTLR src "../org.eclipse.iota.xtext.ui/src-gen/org/eclipse/iota/xtext/ui/contentassist/antlr/internal/InternalIota.g" 4437
RULE_WS : (' '|'\t'|'\r'|'\n')+;

// $ANTLR src "../org.eclipse.iota.xtext.ui/src-gen/org/eclipse/iota/xtext/ui/contentassist/antlr/internal/InternalIota.g" 4439
RULE_ANY_OTHER : .;


